Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
241	Analysis of Format String Bugs Andreas Thuemmel, [removed] - Version 1.0, [removed]Introduction and Abstract The exploitation of format string bugs represents a new technique for attacks that can Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-02-01 10:01:23 Procedural programming languages Data types Primitive types C Standard Library Printf format string Software bugs Uncontrolled format string Printf WU-FTPD Computing Software engineering Computer programming
242	The views, conclusions, or recommendations expressed in this document do not necessarily reflect the official views or policies of agencies of the United States Government. This document was produced by SDC and III in p Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-06-26 22:26:19 Data types Variables Elementary mathematics Procedural programming languages Lisp programming language Lisp Free variables and bound variables ALGOL 68 Pointer Software engineering Computing Computer programming
243	The views, conclusions, or recommendations expressed in this document do not necessarily reflect the official views or policies of agencies of the United States Government. This document was produced by SDC and III in p Add to Reading List Source URL: www.softwarepreservation.org Language: English - Date: 2012-06-26 22:26:19 Data types Variables Elementary mathematics Procedural programming languages Lisp programming language Lisp Free variables and bound variables ALGOL 68 Pointer Software engineering Computing Computer programming
244	ML Modules and Haskell Type Classes: A Constructive Comparison Stefan Wehr1 and Manuel M. T. Chakravarty2 1 2 Add to Reading List Source URL: www.cse.unsw.edu Language: English - Date: 2008-09-03 00:59:35 Type theory Functional languages Data types Procedural programming languages Functional programming Type class Standard ML Monad ML Software engineering Computing Computer programming
245	Advances in Programming Languages APL8: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-15 05:36:06 Data types Functional programming Type theory Adjoint functors Monad Map Option type Type class Haskell Software engineering Declarative programming Computing
246	Advances in Programming Languages APL7: Polymorphism from Types to Kinds and Beyond Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-11 21:20:45 Computer programming Object-oriented programming Polymorphism Data types Functional programming Ad-hoc polymorphism Parametric polymorphism Type class Function overloading Software engineering Computing Type theory
247	Attribute Grammars in Haskell with UUAG ¨ Andres Loh joint work with S. Doaitse Swierstra and Arthur Baars [removed] Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:13 Data types Formal languages Functional programming Type theory Parsing Algebraic data type Attribute grammar Haskell C++ classes Software engineering Computing Computer programming
248	Types and Programming Languages Benjamin C. Pierce The MIT Press Cambridge, Massachusetts Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-02-01 23:40:16 Computing Data types Polymorphism Object-oriented programming Lambda calculus Subtype polymorphism Type system System F Simply typed lambda calculus Software engineering Type theory Programming language theory
249	Dependent Types at Work Ana Bove and Peter Dybjer Chalmers University of Technology, G¨ oteborg, Sweden {bove,peterd}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-09-04 09:56:00 Type theory Functional languages Lambda calculus Logic in computer science Theory of computation Agda Intuitionistic type theory Dependent type Typed lambda calculus Software engineering Programming language theory Theoretical computer science
250	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2006-03-02 05:17:31 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming

UPDATE